On the Static Analysis for SPARQL Queries using Modal Logic. (Sur l'analyse statique des requêtes SPARQL avec la logique modale)
نویسنده
چکیده
Static analysis is a core task in query optimization and knowledge base verification. We study static analysis techniques for SPARQL, the standard language for querying Semantic Web data. Specifically, we investigate the query containment problem and query-update independence analysis. We are interested in developing techniques through reductions to the validity problem in logic.
منابع مشابه
Interrogation à base d'Annotation Sémantique
Résumé. Les approches de la recherche d’information (RI) actuelles ne saisissent pas formellement la signification explicite d'une requête à base de mots-clés mais fournissent une voie confortable pour l'utilisateur qui spécifie ces besoins en informations sur la base des mots-clés. La recherche sémantique promet de fournir des résultats plus précis que la traditionnelle recherche par mots-clés...
متن کاملConstrained Regular Expressions in SPARQL
RDF is a knowledge representation language dedicated to the annotation of resources within the Semantic Web. Though RDF itself can be used as a query language for an RDF knowledge base (using RDF consequence), the need for added expressivity in queries has led to the definition of the SPARQL query language. SPARQL queries are defined on top of graph patterns that are basically RDF (and more pre...
متن کاملAnalyse et transformation des questions médicales en requêtes SPARQL
RÉSUMÉ. La conception des systèmes de questions-réponses nécessite une analyse profonde des questions posées. Cette tâche primordiale requiert d’être étudiée et évaluée séparément. Dans cet article, nous nous intéressons à l’analyse de questions en domaine médical. Plus précisément, nous étudions la transformation de questions posées en langage naturel en requêtes basées sur un langage formel. ...
متن کاملUne approche ontologique pour automatiser le contrôle de conformité dans le domaine du bâtiment
Résumé. Cet article présente la méthode et le système C3R pour vérifier de façon semi-automatique la conformité d’un projet de construction par rapport à des normes du bâtiment. Les projets de construction sont représentés par des graphes RDF et les normes par des requêtes SPARQL ; le processus de contrôle consiste en l’appariement des requêtes et des graphes. Son efficacité repose sur l’acquis...
متن کاملDémarches sémantiques de recherche d'information sur le Web
Résumé : L’examen de différents projets de recherche visant à supporter les activités des membres d’une communauté à l’aide d’une mémoire collective met en évidence l’intérêt de capitaliser les requêtes formulées à la mémoire et plus généralement les savoir-faire experts d’une communauté en matière de recherche d’information. L’enjeu est de donner les moyens aux membres d’une communauté de réut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015